how fast is kipchoge running at world record marathon pace